Description Logic and Order-sorted Logic
نویسنده
چکیده
I have been studying the following work on description logic, which is closely related to my main work on extensions of order-sorted logic and logic programming [4, 3, 2]. Title: Negation in Description Logics: Contraries, Contradictories and Subcontraries (under submission) Abstract: We propose an alternative description logic ALC∼ with classical negation and strong negation. In particular, we adhere to the notions of contraries, contradictories and subcontraries [1], generated from possible statement types using predicate denial and predicate term negation. To capture these notions, our formalization provides an improved semantics that suitably interprets various combinations of classical negation and strong negation (but not Heyting negation and strong negation). We develop a tableau-based satisfiability algorithm for ALC∼, and show the correctness: soundness, completeness and termination and the complexity.
منابع مشابه
Notes on Many-Sorted Logic
Preface, p. vii Any reasonable logical system can be naturally translated into many-sorted first-order logic; thus many-sorted first-order logic is a universal logic. Since many-sorted logic can be translated into single-sorted first-order logic the latter is also universal. However, as will be seen in the course of this book, many-sorted logic faithfully interprets the semantics of the object ...
متن کاملDescription Logic vs. Order-Sorted Feature Logic
We compare and contrast Description Logic (DL) and Order-Sorted Feature (OSF) Logic from the perspective of using them for expressing and reasoning with knowledge structures of the kind used for the Semantic Web. Introduction The advent of the Semantic Web has spurred a great deal of interest in various Knowldege Representation formalisms for expressing, and reasoning with, so-called formal ont...
متن کاملTyped Hybrid Description Logic Programs with Order-Sorted Semantic Web Type Systems based on OWL and RDFS
In the recent years rule-based programming in terms of declarative logic programming has formed the basis for many Artificial Intelligence (AI) applications and is well integrated in the mainstream information technology capturing higher-level decision logics. Typically, the standard rule systems and rule-based logic programming languages such as Prolog derivatives are based on the untyped theo...
متن کاملA Typed Hybrid Description Logic Programming Language with Polymorphic Order-Sorted DL-Typed Unification for Semantic Web Type Systems
In the recent years rule-based programming in terms of declarative logic programming has formed the basis for many Artificial Intelligence (AI) applications and is well integrated in the mainstream information technology capturing higher-level decision logics. Typically, the standard rule systems and rule-based logic programming languages such as Prolog derivatives are based on the untyped theo...
متن کاملExistential rigidity and many modalities in order-sorted logic
Order-sorted logic is a useful tool for knowledge representation and reasoning because it enables representation of sorted terms and formulas along with partially ordered sorts (called sort-hierarchy). However, this logic cannot represent more complex sorted expressions when they are true in any possible world (as rigid) or some possible worlds (as modality) such as time, space, belief, or situ...
متن کامل